first-order theory - Francés Inglés Diccionario